Sciweavers

6355 search results - page 1093 / 1271
» From Logic to Games
Sort
View
UC
2005
Springer
16 years 19 hour ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
UML
2005
Springer
16 years 18 hour ago
Explicit Platform Models for MDA
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
Dennis Wagelaar, Viviane Jonckers
ASPDAC
2004
ACM
120views Hardware» more  ASPDAC 2004»
15 years 12 months ago
Temporal floorplanning using 3D-subTCG
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang, Hsin-...
CSCW
2004
ACM
15 years 12 months ago
Return on investment and organizational adoption
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...
Jonathan Grudin
ISSTA
2004
ACM
15 years 12 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
« Prev « First page 1093 / 1271 Last » Next »