Sciweavers

440 search results - page 45 / 88
» Supporting Executable Mappings in Model Management
Sort
View
TAAS
2010
124views more  TAAS 2010»
14 years 8 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
ETFA
2005
IEEE
15 years 7 months ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
ADBIS
1998
Springer
97views Database» more  ADBIS 1998»
15 years 6 months ago
Using Queries with Multi-Directional Functions for Numerical Database Applications
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
Staffan Flodin, Kjell Orsborn, Tore Risch
CJ
2006
84views more  CJ 2006»
15 years 2 months ago
Instruction Level Parallelism through Microthreading - A Scalable Approach to Chip Multiprocessors
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...
Kostas Bousias, Nabil Hasasneh, Chris R. Jesshope
SC
2009
ACM
15 years 8 months ago
Lessons learned from a year's worth of benchmarks of large data clouds
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...
Yunhong Gu, Robert L. Grossman