Sciweavers

1865 search results - page 138 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
ATAL
2006
Springer
15 years 8 months ago
Integrating agent-oriented methodologies with UML-AT
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
233
Voted
ICDE
2006
IEEE
114views Database» more  ICDE 2006»
16 years 5 months ago
Experiment Management with Metadata-based Integration for Collaborative Scientific Research
Scientific research is becoming increasingly relied on collaborative effort among multiple institutions and interdisciplinary consortium, through sharing experiments and data, and...
Fusheng Wang, Peiya Liu, John Pearson, Fred Azar, ...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 8 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
15 years 9 months ago
Ambient computing applications: an experience with the SPREAD approach
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
Paul Couderc, Michel Banâtre
ER
1999
Springer
196views Database» more  ER 1999»
15 years 8 months ago
A Process-Integrated Conceptual Design Environment for Chemical Engineering
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
Matthias Jarke, Thomas List, Klaus Weidenhaupt