5210 search results - page 749 / 1042 » Tools for Distributed Facilitation |
192
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
162
click to vote
TASE
2007
IEEE
16 years 29 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
174
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe a distributed architecture consisting of a combination of scripting tools that interact with each other in order to help to find and query decentralized ...
153
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semanticsaware tuplespaces as a tool for coping with the scalability, heterogeneity and dynamism issues arisin...
159
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...