Sciweavers

3885 search results - page 648 / 777
» Clarifying Goal Models
Sort
View
COMPUTER
2002
129views more  COMPUTER 2002»
15 years 6 months ago
Networks on Chips: A New SoC Paradigm
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
Luca Benini, Giovanni De Micheli
FAC
2000
114views more  FAC 2000»
15 years 6 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
IJAIT
2000
142views more  IJAIT 2000»
15 years 6 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
FMSD
2002
81views more  FMSD 2002»
15 years 6 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
COGSCI
1998
113views more  COGSCI 1998»
15 years 6 months ago
Conceptual Integration Networks
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
Gilles Fauconnier, Mark Turner