Sciweavers

968 search results - page 101 / 194
» Software Support Tools and Experimental Work
Sort
View
ISTA
2004
13 years 10 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
EMSOFT
2011
Springer
12 years 8 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
CSCW
2010
ACM
14 years 5 months ago
Lessons from thoughtswap-ing: increasing participants' coordinative agency in facilitated discussions
A successful collaborative tool designed to aid discussion must be flexible, maintain the user’s coordinative agency, and be appropriable in many contexts. We have developed a ...
Margaret Dickey-Kurdziolek, Matthew Schaefer, Debo...
UIST
2005
ACM
14 years 2 months ago
A1: end-user programming for web-based system administration
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
Eser Kandogan, Eben M. Haber, Rob Barrett, Allen C...
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
14 years 2 months ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev