7961 search results - page 162 / 1593 » Input-Output Model Programs |
149
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
115
click to vote
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
155
click to vote
FMOODS
2008
15 years 4 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
126
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Information Technology (IT) offshore outsourcing is a non-reversible trend due to its cost implications, and as a result, target of much inquiry in different areas of knowledge. W...
133
click to vote
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...