3381 search results - page 106 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
159
click to vote
WSC
2008
15 years 8 months ago
2008
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
169
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
191
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
The ability to classify packets according to pre-defined rules is critical to providing many sophisticated value-added services, such as security, QoS, load balancing, traffic acco...
171
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...