2661 search results - page 220 / 533 » Model Checking Performability Properties |
130
click to vote
CMSB
2010
Springer
14 years 10 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
88
Voted
SSS
2007
Springer
15 years 9 months ago
2007
Springer
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
117
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
112
Voted
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
123
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...