Sciweavers

2076 search results - page 293 / 416
» Functional logic overloading
Sort
View
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 6 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
CSFW
2003
IEEE
15 years 6 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
EUROMICRO
2003
IEEE
15 years 6 months ago
Web Service Engineering with DIWE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
Engin Kirda, Clemens Kerer, Christopher Krüge...
ISCAS
2003
IEEE
129views Hardware» more  ISCAS 2003»
15 years 6 months ago
SONICmole: a debugging environment for the UltraSONIC reconfigurable computer
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
Theerayod Wiangtong, Chun Te Ewe, Peter Y. K. Cheu...
MSS
2003
IEEE
100views Hardware» more  MSS 2003»
15 years 6 months ago
A Simple Mass Storage System for the SRB Data Grid
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...
Michael Wan, Arcot Rajasekar, Reagan Moore, Phil A...