Sciweavers

10055 search results - page 1420 / 2011
» Structured programming using processes
Sort
View
DSRT
2009
IEEE
15 years 9 months ago
Statemachine Matching in BOM Based Model Composition
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Far...
144
Voted
EEE
2004
IEEE
15 years 8 months ago
An Encoding Scheme for Indexing XML Data
E-Services are becoming as promising technology for the effective automation of application integration across Web. They build upon XML, as data format for exchanging messages bet...
Wansong Zhang, Daxin Liu, Jian Li
155
Voted
AINA
2003
IEEE
15 years 8 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
ICSE
2000
IEEE-ACM
15 years 8 months ago
Improving problem-oriented mailing list archives with MCS
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
Robert S. Brewer
HOLOMAS
2007
Springer
15 years 6 months ago
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
Mieczyslaw Metzger, Grzegorz Polaków
« Prev « First page 1420 / 2011 Last » Next »