4418 search results - page 494 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
click to vote
ECRTS
2003
IEEE
16 years 3 days ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...
161
click to vote
VAMOS
2007
Springer
16 years 28 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
197
click to vote
ICSEA
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
178
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
211
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...