580 search results - page 101 / 116 » An Approach to Quantitative Software Architecture Sensitivit... |
126
Voted
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
120
Voted
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
133
Voted
SBACPAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...
144
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
101
Voted
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...