5414 search results - page 876 / 1083 » Exploratory Model Building |
141
Voted
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
117
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
142
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
108
Voted
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...
130
Voted
CRYPTO
2007
Springer
15 years 9 months ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...