Sciweavers

5189 search results - page 240 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
131
Voted
HCI
2007
15 years 5 months ago
Architectural Backpropagation Support for Managing Ambiguous Context in Smart Environments
Abstract. The evolution to ubiquitous information and communication networks is evident. Technology is emerging that connects everyday objects and embeds intelligence in our enviro...
Davy Preuveneers, Yolande Berbers
114
Voted
DAC
1996
ACM
15 years 8 months ago
State Reduction Using Reversible Rules
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
C. Norris Ip, David L. Dill
140
Voted
IJWMC
2007
84views more  IJWMC 2007»
15 years 3 months ago
Towards all-IP wireless networks: architectures and resource management mechanism
Future wireless Internet will consist of different wireless technologies that should operate together in an efficient way to provide seamless connectivity to mobile users. The in...
Majid Ghaderi, Raouf Boutaba
135
Voted
BMCBI
2010
165views more  BMCBI 2010»
15 years 3 months ago
MTar: a computational microRNA target prediction architecture for human transcriptome
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
Vinod Chandra, Reshmi Girijadevi, Achuthsankar S. ...
124
Voted
EDOC
2003
IEEE
15 years 9 months ago
Towards a Language for Coherent Enterprise Architecture Descriptions
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...
Henk Jonkers, René van Buuren, Farhad Arbab...