Sciweavers

2588 search results - page 166 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
VL
2006
IEEE
102views Visual Languages» more  VL 2006»
16 years 27 days ago
Sharing reasoning about faults in spreadsheets: An empirical study
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...
Joseph Lawrance, Robin Abraham, Margaret M. Burnet...
COMPSAC
2002
IEEE
15 years 12 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
HOST
2008
IEEE
16 years 1 months ago
IC Activation and User Authentication for Security-Sensitive Systems
—A number of applications depend on the protection of security-sensitive hardware, preventing unauthorized users from gaining access to the functionality of the integrated circui...
Jiawei Huang, John Lach
RE
2004
Springer
16 years 7 days ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid
185
Voted
APL
1992
ACM
15 years 11 months ago
Compiler Tools in APL
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
Robert Bernecky, Gert Osterburg