15155 search results - page 2478 / 3031 » System Software |
180
click to vote
UIST
2003
ACM
16 years 11 days ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
201
click to vote
CAV
2003
Springer
16 years 10 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
174
click to vote
DSOM
2003
Springer
16 years 10 days ago
2003
Springer
The increasing software complexity of wireless devices and wireless data service provisioning motivates a wireless terminal management challenge. The systems management solution fo...
206
click to vote
ECAL
2003
Springer
16 years 10 days ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
226
click to vote
EMSOFT
2003
Springer
16 years 10 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...