Sciweavers

1435 search results - page 229 / 287
» CASE Support and Model-Based Development
Sort
View
SIGSOFT
2004
ACM
14 years 2 months ago
Verifying aspect advice modularly
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
PPDP
2004
Springer
14 years 2 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
APSEC
2003
IEEE
14 years 2 months ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
ICAT
2003
IEEE
14 years 2 months ago
Effective Output Patterns for Torque Display
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...
Masataka Sakai, Yukio Fukui, Norio Nakamura
IPPS
2003
IEEE
14 years 2 months ago
Effective Utilization and Reconfiguration of Distributed Hardware Resources Using Job Management Systems
Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPG...
Kris Gaj, Tarek A. El-Ghazawi, Nikitas A. Alexandr...