8109 search results - page 190 / 1622 » A Model of Component-Based Programming |
173
click to vote
ICSM
2009
IEEE
15 years 11 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...
167
click to vote
FMOODS
2008
15 years 6 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...
150
click to vote
HICSS
2005
IEEE
15 years 10 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...
157
click to vote
FSTTCS
2000
Springer
15 years 8 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...
168
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...