Sciweavers

2576 search results - page 136 / 516
» Methodology work is ontology work
Sort
View
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
16 years 3 months ago
Branch Merge Reduction of RLCM Networks
— In this paper we consider the problem of finding a smaller RLCM circuit that approximately replicates the behavior (up to a certain frequency) of a given RLCM circuit. Targeted...
Bernard N. Sheehan
214
Voted
IAT
2007
IEEE
16 years 1 months ago
Dynamic Data Driven Multi-Agent Simulation
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
Gary M. Pereira
WECWIS
2005
IEEE
201views ECommerce» more  WECWIS 2005»
16 years 17 days ago
A Categorization of Collaborative Business Process Modeling Techniques
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
Stephan Roser, Bernhard Bauer
DSVIS
2005
Springer
16 years 16 days ago
Automatic Critiques of Interface Modes
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
OOPSLA
2004
Springer
16 years 11 days ago
Efficient data race and deadlock prevention in concurrent object-oriented programs
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
Piotr Nienaltowski