4520 search results - page 836 / 904 » Algebraic Techniques for Timed Systems |
175
click to vote
XPU
2007
Springer
16 years 12 days 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...
195
click to vote
IROS
2006
IEEE
16 years 10 days 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...
213
click to vote
CASES
2006
ACM
16 years 9 days 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...
207
click to vote
AINA
2005
IEEE
15 years 12 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...
176
click to vote
ICDCS
2005
IEEE
15 years 12 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...