Sciweavers

2404 search results - page 87 / 481
» Postmodernism and Control Engineering
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Speculative analysis: exploring future development states of software
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
Yuriy Brun, Reid Holmes, Michael D. Ernst, David N...
ICSE
2011
IEEE-ACM
14 years 9 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
ANLP
2000
96views more  ANLP 2000»
15 years 7 months ago
Large-scale Controlled Vocabulary Indexing for Named Entities
A large-scale controlled vocabulary indexing system is described. The system currently covers almost 70,000 named entity topics, and applies to documents from thousands of news pu...
Mark Wasson
EMSOFT
2005
Springer
15 years 11 months ago
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks
Rialto is a design framework that allows separating the description of a control application for wireless sensor networks from its physical network implementation. The methodology...
Alvise Bonivento, Luca P. Carloni, Alberto L. Sang...
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
15 years 10 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono