7064 search results - page 1106 / 1413 » From States to Histories |
153
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
186
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
146
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
212
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
180
click to vote
ATMOS
2007
15 years 8 months ago
2007
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...