14331 search results - page 31 / 2867 » On the modeling and analysis of obligations |
89
Voted
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
125
click to vote
EEE
2005
IEEE
15 years 7 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
SIGCPR
2004
ACM
15 years 7 months ago
2004
ACM
Women, as well as African Americans, Hispanic Americans and Native Americans are represented in the information technology (IT) workforce in percentages that are far lower than th...
119
Voted
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
101
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...