835 search results - page 23 / 167 » Characterizing rosy theories |
103
click to vote
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
ICPR
2006
IEEE
15 years 5 months ago
2006
IEEE
Different features carry more or less rich and varied pieces of information to characterize a pattern. The fusion of these different sources of information can provide an opportun...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Whereas previous studies have been primarily focused on the structural features of Information Technology governance, this paper describes an exploratory study of IT governance pr...
121
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...