Sciweavers

2150 search results - page 307 / 430
» Programming Models for Grid Applications and Systems: Requir...
Sort
View
ARGMAS
2007
Springer
14 years 3 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
ICALP
1999
Springer
14 years 1 months ago
Wide Area Computation
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
Luca Cardelli
IJCAT
2010
80views more  IJCAT 2010»
13 years 6 months ago
Laser remanufacturing based on the integration of reverse engineering and laser cladding
: Laser remanufacturing has been used as an approach to refurbish or to improve the surface quality of high-priced parts. However, most of the existing systems lack measuring and m...
Liangliang Nan, Weijun Liu, Kai Zhang
ICC
2009
IEEE
109views Communications» more  ICC 2009»
14 years 3 months ago
Measurement-Based Modeling of Vehicle-to-Vehicle MIMO Channels
— Vehicle-to-vehicle (VTV) communications are of interest for applications within traffic safety and congestion avoidance, but the development of suitable communications systems...
Johan Karedal, Fredrik Tufvesson, Nicolai Czink, A...
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels