7694 search results - page 557 / 1539 » An Implementation of an Applicative File System |
211
Voted
HYBRID
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
198
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Researchers and practitioners in the area of parallel and distributed computing have been lacking a portable, flexible and robust distributed instrumentation system. We present th...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
203
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...