922 search results - page 68 / 185 » Engineering a complex ontology with time |
162
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
180
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
194
click to vote
WIKIS
2006
ACM
16 years 10 days ago
2006
ACM
Wikis are social web sites enabling a potentially large number of participants to modify any page or create a new page using their web browser. As they grow, wikis may suffer from...
199
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
-- Networks composed of large number of nodes interacting in structured ways such as power grids, communication networks, social networks or market networks are critical port of th...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...