6197 search results - page 979 / 1240 » Sandbridge Software Tools |
180
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
169
click to vote
RE
2005
Springer
16 years 4 days ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
182
click to vote
ROBOCUP
2005
Springer
16 years 4 days ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
166
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
140
click to vote
IUI
2004
ACM
16 years 2 days ago
2004
ACM
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...