2765 search results - page 258 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
165
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...
167
Voted
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...
197
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
172
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...