Sciweavers

262 search results - page 38 / 53
» Providing Trusted Components to the Industry
Sort
View
UML
2005
Springer
15 years 2 months ago
Use Cases in Model-Driven Software Engineering
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
Hernán Astudillo, Gonzalo Génova, Mi...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 1 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
VEE
2005
ACM
149views Virtualization» more  VEE 2005»
15 years 3 months ago
Instrumenting annotated programs
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
Marina Biberstein, Vugranam C. Sreedhar, Bilha Men...
DPD
2007
86views more  DPD 2007»
14 years 9 months ago
Semantics based customization of UBL document schemas
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...
Yalin Yarimagan, Asuman Dogac
77
Voted
MANSCI
2008
169views more  MANSCI 2008»
14 years 9 months ago
Service Adoption and Pricing of Content Delivery Network (CDN) Services
Content Delivery Networks (CDNs) are a vital component of the Internet's content delivery value chain, servicing nearly a third of the Internet's most popular content si...
Kartik Hosanagar, John C.-I. Chuang, Ramayya Krish...