15253 search results - page 288 / 3051 » Integer-Programming Software Systems |
168
click to vote
CD
2004
Springer
16 years 3 days ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
178
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
165
click to vote
INTERSENSE
2006
ACM
16 years 20 days ago
2006
ACM
— Sensor networks have received wide attention in recent years for their revolutionary impact in numerous fields. To harness their full potential, researchers are beginning to b...
187
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...