Sciweavers

1421 search results - page 205 / 285
» Designing system on a chip products using systems engineerin...
Sort
View
ATAL
2005
Springer
14 years 4 months ago
OWL-P: OWL for protocol and processes
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Mun...
TCBB
2008
137views more  TCBB 2008»
13 years 10 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
EUROMICRO
2003
IEEE
14 years 3 months ago
Closing the Gap: From Nescience to Knowledge Management
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
Alexander Schatten, Stefan Biffl, A. Min Tjoa
MODELS
2009
Springer
14 years 3 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
POPL
1989
ACM
14 years 2 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott