306 search results - page 8 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
SCN
2010
Springer
13 years 5 months ago
2010
Springer
This paper introduces and explores the new concept of Time-Specific Encryption (TSE). In (Plain) TSE, a Time Server broadcasts a key at the beginning of each time unit, a Time Inst...
VLSISP
2008
13 years 7 months ago
2008
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...
WER
2007
Springer
14 years 1 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
WER
2001
Springer
14 years 1 days ago
2001
Springer
The development of software systems from already built COTS components has been motivated by the prospect of reduced cost and development time. However, developing COTS-based syst...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...