1175 search results - page 105 / 235 » Abstract computability and algebraic specification |
SIAMREV
2010
13 years 3 months ago
2010
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
ADS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Audio/visual speech, in the form of labial movement and facial expression data, was utilized in order to semi-automatically build a new Italian expressive and emotive tal...