3255 search results - page 130 / 651 » Combination of Abstractions in the ASTR |
AOSE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
BIRTHDAY
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
CPC
2006
13 years 10 months ago
2006
Abstract. The main results of this paper are regularity and counting lemmas for 3uniform hypergraphs. A combination of these two results gives a new proof of a theorem of Frankl an...
LSSC
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Recently we presented a new approach [5, 6] to the classification problem arising in data mining. It is based on the regularization network approach, but in contrast to ...
FC
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Physical cash is vulnerable to rising threats, such as large-scale, government-mandated forgeries, that digital cash may protect against more effectively. We study mechan...