14331 search results - page 16 / 2867 » On the modeling and analysis of obligations |
COLCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
105
click to vote
AOSD
2012
ACM
13 years 7 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
111
click to vote
EOR
2008
14 years 11 months ago
2008
We study firm's strategy to determine its product price and warranty period, and plan the spare parts manufacturing so as to maximize its profit and at the same time to fulfi...
MOBIQUITOUS
2005
IEEE
15 years 5 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
109
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 3 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...