660 search results - page 84 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
108
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
117
Voted
SOSP
2009
ACM
15 years 11 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
147
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
117
Voted
ARCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
149
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...