Sciweavers

31387 search results - page 463 / 6278
» Abstracts
Sort
View
CBSE
2010
Springer
16 years 14 days ago
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
Frédéric Loiret, Lionel Seinturier, ...
ESWS
2010
Springer
16 years 14 days ago
A Hybrid Model and Computing Platform for Spatio-semantic Trajectories
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
Zhixian Yan, Christine Parent, Stefano Spaccapietr...
CONCUR
2000
Springer
16 years 17 hour ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
HOTOS
1999
IEEE
15 years 12 months ago
The Box: A Replacement for Files
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
Francisco J. Ballesteros, Sergio Arévalo
CONTEXT
2007
Springer
15 years 11 months ago
The Influence of Task Contexts on the Decision-Making of Humans and Computers
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...
Ya'akov Gal, Barbara J. Grosz, Avi Pfeffer, Stuart...