287 search results - page 29 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
CIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
INAP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
ICAIL
2003
ACM
15 years 3 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...