2450 search results - page 175 / 490 » On Application of Structural Decomposition for Process Model... |
142
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
173
click to vote
ISAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
129
Voted
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
155
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
119
click to vote
EUROCRYPT
2010
Springer
15 years 9 months ago
2010
Springer
We introduce a new lattice-based cryptographic structure called a bonsai tree, and use it to resolve some important open problems in the area. Applications of bonsai trees include...