1906 search results - page 331 / 382 » Controls in Flexible Software Development |
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and veriļ¬cation of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
This paper suggests that the digital games industry products are not limited to games-related hardware and software or the related spin-off industry products. Further, consumers ā...
FTDCS
2003
IEEE
15 years 5 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
AbstractāThe pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
106
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...