1317 search results - page 128 / 264 » A Technique for Constructing Developable Surfaces |
117
click to vote
SIGADA
1998
Springer
15 years 9 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
134
click to vote
PDP
1996
IEEE
15 years 8 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
136
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
129
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
124
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...