Sciweavers

10055 search results - page 363 / 2011
» Structured programming using processes
Sort
View
AEI
2010
136views more  AEI 2010»
15 years 27 days ago
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
129
Voted
DAC
2007
ACM
16 years 1 months ago
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
Jia Yu, Jingnan Yao, Jun Yang 0002, Laxmi N. Bhuya...
108
Voted
POPL
2000
ACM
15 years 4 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
SDM
2010
SIAM
183views Data Mining» more  SDM 2010»
15 years 2 months ago
GraSS: Graph Structure Summarization
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...
Kristen LeFevre, Evimaria Terzi
87
Voted
CMOT
2002
73views more  CMOT 2002»
15 years 17 days ago
A Structural and Evolutionary Approach to Change Management
Organizational change management is concerned with realizing strategies using models, methods and prescriptions that seek to guide the three key elements of strategic management p...
Thierry Rakotobe-Joel, Ian P. McCarthy, David Tran...