1153 search results - page 44 / 231 » Compositional Specification Calculus for Information Systems... |
157
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
123
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
152
click to vote
SEKE
1995
Springer
15 years 7 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
145
click to vote
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
The assessment of aircraft noise is becoming an increasingly important task in ensuring sustainable airport development. Aircraft noise is influenced by many complex factors and tr...
143
click to vote
LREC
2010
15 years 5 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...