1247 search results - page 12 / 250 » Reasoning about Function Objects |
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
SWAP
2008
13 years 9 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...