2191 search results - page 245 / 439 » Aspect - A Problem For MT |
134
click to vote
CHARME
1997
Springer
15 years 8 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
142
click to vote
ATAL
1995
Springer
15 years 8 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...
128
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
170
click to vote
WSC
2007
15 years 6 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
162
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The terms that are used by users during tagging have been found to be different from the terms that are used when searching for resources, which represents a fundamental problem f...