2251 search results - page 73 / 451 » Specification and Implementation Problems for C |
112
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
131
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
119
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
144
click to vote
ENVSOFT
2002
15 years 3 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
124
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...