Sciweavers

280 search results - page 46 / 56
» Problems and Deficiencies of UML as a Requirements Specifica...
Sort
View
VL
2008
IEEE
120views Visual Languages» more  VL 2008»
15 years 6 months ago
Unobtrusive data acquisition for spreadsheet research
Spreadsheets are one of the most common end-user programming environments in use today, and their importance in the business world continues to grow. Although considered critical ...
Brian Bishop, Kevin McDaid
ASPLOS
1991
ACM
15 years 3 months ago
Code Generation for Streaming: An Access/Execute Mechanism
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
Manuel E. Benitez, Jack W. Davidson
IESA
2007
15 years 1 months ago
Formalizing the OPAL eBusiness ontology design patterns with OWL
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
Fulvio D'Antonio, Michele Missikoff, Francesco Tag...
DLS
2009
196views Languages» more  DLS 2009»
14 years 9 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
IFIP
2010
Springer
14 years 6 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller