691 search results - page 94 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
WSC
2008
13 years 10 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
PODC
2009
ACM
14 years 8 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...