1809 search results - page 220 / 362 » Software Model Checking Using Linear Constraints |
133
click to vote
INFOSCALE
2007
ACM
15 years 3 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
118
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
143
click to vote
SEKE
1995
Springer
15 years 5 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
92
Voted
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— Rapid-deployment mobile ad-hoc networks (MANETs) are frequently characterized by common overarching mission objectives which make it reasonable to expect some degree of coopera...
164
click to vote
PAMI
2012
13 years 4 months ago
2012
—Locating the center of the eyes allows for valuable information to be captured and used in a wide range of applications. Accurate eye center location can be determined using com...