2364 search results - page 209 / 473 » An Engine for Computing Well-Founded Models |
145
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
145
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
118
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
156
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
137
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...