419 search results - page 79 / 84 » Automatic Synthesis of Real Time Systems |
126
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
98
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
110
click to vote
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
194
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
134
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
In this paper, we study the media workload collected from a large number of commercial Web sites hosted by a major ISP and that collected from a large group of home users connecte...