626 search results - page 94 / 126 » When Can Formal Methods Make a Real Difference |
147
Voted
TSE
2008
15 years 3 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
166
Voted
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
151
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
191
click to vote
FUIN
2007
15 years 3 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
146
Voted
FIW
2007
15 years 5 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...