Sciweavers

4360 search results - page 48 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
SIMULATION
2011
13 years 2 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
EMSOFT
2009
Springer
14 years 2 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
AIEDAM
2010
152views more  AIEDAM 2010»
13 years 5 months ago
A content account of creative analogies in biologically inspired design
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
Swaroop Vattam, Michael E. Helms, Ashok K. Goel
WWW
2005
ACM
14 years 8 months ago
A multilingual usage consultation tool based on internet searching: more than a search engine, less than QA
We present a usage consultation tool, based on Internet searching, for language learners. When a user enters a string of words for which he wants to find usages, the system sends ...
Kumiko Tanaka-Ishii, Hiroshi Nakagawa
DAC
2008
ACM
14 years 8 months ago
Design of high performance pattern matching engine through compact deterministic finite automata
Pattern matching relies on deterministic finite automata (DFA) to search for predefined patterns. While a bit-DFA method is recently proposed to exploit the parallelism in pattern...
Piti Piyachon, Yan Luo