4418 search results - page 173 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
131
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
128
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
145
click to vote
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
133
click to vote
OHS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Computer vision is presented and discussed under two complementary views. The positivist view provides a formal background under which vision is approached as a problem-solving tas...