3828 search results - page 329 / 766 » Proof-Based System Engineering Using a Virtual System Model |
189
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
243
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
259
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Enix is a lightweight dynamic operating system for tightly constrained platforms for wireless sensor networks (WSN). Enix provides a cooperative threading model, which is applicab...
203
click to vote
TPDS
2002
15 years 6 months ago
2002
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
181
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...