Sciweavers

1190 search results - page 91 / 238
» The Continuing Quest for Abstraction
Sort
View
EDOC
2011
IEEE
12 years 9 months ago
Towards an Agile Design of the Enterprise Architecture Management Function
Abstract—Enterprise architecture (EA) management provides an engineering approach for the continuous advancement of the enterprise as a whole. The high number of involved compone...
Sabine Buckl, Florian Matthes, Ivan Monahov, Sasch...
MIDDLEWARE
2001
Springer
14 years 1 months ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
14 years 29 days ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
ECAI
2010
Springer
13 years 9 months ago
Stream-Based Reasoning Support for Autonomous Systems
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
ENTCS
2006
111views more  ENTCS 2006»
13 years 9 months ago
Token-Passing Nets: Call-by-Need for Free
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
François-Régis Sinot