1356 search results - page 71 / 272 » A variable-free dynamic semantics |
157
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
129
Voted
JFP
2008
15 years 3 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
112
Voted
AAAI
1998
15 years 5 months ago
1998
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
117
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
126
Voted
WETICE
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...