3283 search results - page 357 / 657 » Designing Agent Based Travel Support System |
176
click to vote
MMB
1999
Springer
15 years 11 months ago
1999
Springer
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
175
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
182
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
193
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...