10159 search results - page 532 / 2032 » System Design Validation Using Formal Models |
181
click to vote
IJSWIS
2007
15 years 6 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
164
click to vote
QEST
2008
IEEE
16 years 22 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
135
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
We address the classic wire-length estimation problem and propose a new statistical wire-length estimation approach that captures the probability distribution function of net leng...
169
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
153
Voted
AUTOMOTIVEUI
2009
ACM
16 years 26 days ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...