2943 search results - page 477 / 589 » Software Implementation of Synchronous Programs |
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
Agent.Hospital is an open agent-based (software) framework for distributed applications in the healthcare domain. Previous appropriation of the Agent.Hospital development is appli...
COMPGEOM
1996
ACM
14 years 2 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
ACMSE
2008
ACM
14 years 6 days ago
2008
ACM
Software developers are frequently required to address evolving stakeholder concerns, which often result in changes to the source code of an application. Manually performing invas...
ECMDAFA
2008
Springer
13 years 12 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...