809 search results - page 86 / 162 » Requirements by Contracts allow Automated System Testing |
NOMS
2010
IEEE
14 years 9 months ago
2010
IEEE
Crash and omission failures are common in service providers: a disk can break down or a link can fail anytime. In addition, the probability of a node failure increases with the num...
ACISICIS
2010
IEEE
15 years 1 months ago
2010
IEEE
We developed new interactive display system called the palm display. Our prototype system shows the image of graphical user interface on the palm and allows the user to have intera...
104
click to vote
CAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
FLAIRS
2007
15 years 2 months ago
2007
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...