2501 search results - page 311 / 501 » Obligations and Their Interaction with Programs |
211
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
206
click to vote
INTERACTION
2009
ACM
16 years 1 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
161
click to vote
AOSD
2006
ACM
16 years 17 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
219
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
204
click to vote
CLADE
2003
IEEE
15 years 12 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...