3081 search results - page 517 / 617 » A Formal Ontology of Properties |
186
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
148
click to vote
APSEC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
148
click to vote
FUZZIEEE
2007
IEEE
16 years 22 days ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
157
click to vote
IAT
2007
IEEE
16 years 22 days ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
144
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...