2527 search results - page 126 / 506 » A UML-Based Approach to System Testing |
190
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
163
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
124
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
125
Voted
AIRS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. In this paper, we describe an opinion analysis system using domainspecific lexical knowledge in Korean economic news. We tested our hypothesis that such domain-specific k...
128
click to vote
IADIS
2008
15 years 5 months ago
2008
This paper is a comprehensive presentation of our efforts to support mobile learning. We are developing the Intelligent Mobile Learning System which provides adaptive course and a...