2500 search results - page 220 / 500 » Specifying Behavior in C |
111
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
134
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
117
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
134
Voted
UIST
2006
ACM
15 years 9 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...
117
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...