893 search results - page 131 / 179 » Modeling reactive systems in Java |
122
Voted
PATMOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
117
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
117
click to vote
AOIS
2003
15 years 4 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
128
Voted
SPIN
2010
Springer
15 years 29 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
140
click to vote
NGITS
1999
Springer
15 years 6 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...