9989 search results - page 212 / 1998 » A CLP Approach to Modelling Systems |
161
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
183
click to vote
MOMPES
2006
IEEE
16 years 16 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
164
click to vote
INFOCOM
1991
IEEE
15 years 10 months ago
1991
IEEE
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
142
click to vote
WSC
2008
15 years 8 months ago
2008
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
163
click to vote
ECSCW
2003
15 years 8 months ago
2003
Users who work together require adequate information about their environment—group awareness. In the CSCW literature several models and systems for group awareness have been pres...