Sciweavers

4061 search results - page 492 / 813
» Framework Evolution Tool
Sort
View
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
16 years 1 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ICPADS
2007
IEEE
16 years 1 months ago
Federated clusters using the transparent remote Execution (TREx) environment
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
Richert Wang, Enrique Cauich, Isaac D. Scherson
IPPS
2007
IEEE
16 years 29 days ago
Topaz: Extending Firefox to Accommodate the GridFTP Protocol
As grid infrastructures mature, an increasing challenge is to provide end-user scientists with intuitive interfaces to computational services, data management capabilities, and vi...
Richard Zamudio, Daniel Catarino, Michela Taufer, ...
BPM
2007
Springer
201views Business» more  BPM 2007»
16 years 26 days ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ICALT
2006
IEEE
16 years 22 days ago
Analyzing Student Activity in Computer Assisted Language Learning
We study the use of a computer application, intended for Computer Assisted Language Learning (CALL). We present an analytical framework for CALL, consisting of technology, interac...
Petter Karlström, Teresa Cerratto Pargman