1175 search results - page 131 / 235 » Abstract computability and algebraic specification |
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Service oriented architectures (SOA) are becoming reality in a corporate environment. Rather than pure technology improvements SOA intends to increase manageability and s...
FM
1997
Springer
14 years 1 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...