Sciweavers

2878 search results - page 226 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
PLDI
2004
ACM
16 years 1 days ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
ECSA
2010
Springer
15 years 6 months ago
Software ecosystems vs. natural ecosystems: learning from the ingenious mind of nature
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
Deepak Dhungana, Iris Groher, Elisabeth Schluderma...
SP
2008
IEEE
120views Security Privacy» more  SP 2008»
15 years 6 months ago
Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...
Daniel Halperin, Thomas S. Heydt-Benjamin, Benjami...
OTM
2007
Springer
16 years 22 days ago
A Meta-model for Ontologies with ORM2
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
Christina Tziviskou, C. Maria Keet
IJHPCA
2002
101views more  IJHPCA 2002»
15 years 6 months ago
SCALA: A Performance System For Scalable Computing
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
Xian-He Sun, Thomas Fahringer, Mario Pantano