2694 search results - page 343 / 539 » A Description Logic of Change |
169
click to vote
TE
2010
15 years 1 months ago
2010
Abstract--As demand increases for circuits with higher performance, higher complexity, and decreased feature size, asynchronous (clockless) paradigms will become more widely used i...
150
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
174
click to vote
ISORC
2005
IEEE
16 years 3 days ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
166
click to vote
MABS
2004
Springer
15 years 12 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
189
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...