15155 search results - page 431 / 3031 » System Software |
155
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
175
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
203
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
174
Voted
FCCM
1999
IEEE
15 years 11 months ago
1999
IEEE
A significant obstacle to the widespread adoption of FPGAbased configurable computing hardware has been the difficulty of mapping applications onto this hardware. We are developin...
175
Voted
IDT
2010
15 years 5 months ago
2010
This paper examines the driving and opposing forces that are governing the current paradigm shift from a data-processing information technology environment without software intell...