2361 search results - page 130 / 473 » Embedded Systems - Challenges and Work Directions |
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Contracts in the real world often rest upon a notion of responsibility, by which parties commit to the fulfilment of particular imperatives embedded in the contract. Responsibili...
CHI
1994
ACM
15 years 2 months ago
1994
ACM
We describe a prototype system, the Interactive Office, which supports the occupant's daily activities in an office. Discrete sensors embedded in an office detect the occupan...
WCET
2008
14 years 11 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Studies of information seeking and workplace collaboration often find that social relationships are a strong factor in determining who collaborates with whom. Social networks prov...