653 search results - page 104 / 131 » Embedded software generation from system level design langua... |
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
107
click to vote
ISARCS
2010
14 years 11 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
76
Voted
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
111
click to vote
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...