3273 search results - page 440 / 655 » Structured Design of Microelectromechanical Systems |
191
click to vote
SEFM
2007
IEEE
16 years 23 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
145
click to vote
CAISE
2007
Springer
16 years 20 days ago
2007
Springer
Innovative networked value constellations, such as Cisco or Dell, are often enabled by Information Technology (IT). The same holds for the Distributed Electricity Balancing Service...
174
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
172
click to vote
SGAI
2007
Springer
16 years 18 days ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
172
click to vote
VIZSEC
2007
Springer
16 years 18 days ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...