1104 search results - page 177 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
SBCCI
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents a transistor optimization methodology for low-power analog integrated CMOS circuits, relying on the physics-based gm/ID characteristics as a design optimizatio...
RSCTC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
LREC
2010
13 years 10 months ago
2010
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
IIWAS
2008
13 years 10 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...