3911 search results - page 491 / 783 » Using Operational Architecture to Model Embedded Software |
148
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
223
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
209
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
160
click to vote
PERVASIVE
2005
Springer
16 years 6 days ago
2005
Springer
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
175
click to vote
SIGSOFT
2006
ACM
16 years 21 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...