9006 search results - page 360 / 1802 » Modeling Software |
160
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
153
click to vote
ULPAA
1992
15 years 7 months ago
1992
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
210
click to vote
IEE
2011
15 years 1 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
184
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
158
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...