Sciweavers

2748 search results - page 216 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
77
Voted
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 27 days ago
Caveats for the journal and field normalizations in the CWTS ("Leiden") evaluations of research performance
The Center for Science and Technology Studies at Leiden University advocates the use of specific normalizations for assessing research performance with reference to a world averag...
Tobias Opthof, Loet Leydesdorff
132
Voted
CCGRID
2010
IEEE
14 years 4 months ago
WORKEM: Representing and Emulating Distributed Scientific Workflow Execution State
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
Lavanya Ramakrishnan, Dennis Gannon, Beth Plale
137
Voted
RTAS
2003
IEEE
15 years 6 months ago
VEST: An Aspect-Based Composition Tool for Real-Time Systems
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
SIGSOFT
2005
ACM
16 years 1 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
109
Voted
ASWC
2008
Springer
15 years 2 months ago
ROC: A Method for Proto-ontology Construction by Domain Experts
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...
Nicole J. J. P. Koenderink, Mark van Assem, J. Lar...