4520 search results - page 836 / 904 » Algebraic Techniques for Timed Systems |
115
click to vote
XPU
2007
Springer
15 years 6 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
139
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
140
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
131
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
Ever since the boom of World Wide Web, profiling online users' interests has become an important task for content providers. The traditional approach involves manual entry of...
108
click to vote
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
Modern application infrastructures are based on clustered, multi-tiered architectures, where request distribution occurs in two sequential stages: over a cluster of web servers, a...