9067 search results - page 466 / 1814 » Adaptive Model Checking |
206
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
172
click to vote
LADC
2007
Springer
16 years 1 months ago
2007
Springer
Given the frequent topology changes in Mobile Ad Hoc Networks (MANET), the choice of appropriate broadcasting techniques is crucial to ensure reliable delivery of messages. The spr...
174
click to vote
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
176
click to vote
WSC
2004
15 years 8 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
178
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...