Sciweavers

3432 search results - page 528 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
155
Voted
ISBI
2004
IEEE
16 years 7 months ago
A Deformable Brodmann Area Atlas
Functional MRI studies commonly refer to activation patterns as being localized in specific Brodmann areas, referring to Brodmann's divisions of the human cortex based on cyt...
Paul Rasser, Philip Ward, Patrick Johnston, Paul M...
JCP
2008
116views more  JCP 2008»
15 years 6 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
ESTIMEDIA
2006
Springer
15 years 10 months ago
Resource Manager for Non-preemptive Heterogeneous Multiprocessor System-on-chip
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...
Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Co...
161
Voted
ITCC
2002
IEEE
15 years 11 months ago
Design and Generation of Adaptable Web Information Systems with KIWIS
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
Marlène Villanova-Oliver, Jérô...
MSWIM
2003
ACM
15 years 11 months ago
Impact of location inconsistencies on geographic routing in wireless networks
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
Yongjin Kim, Jae-Joon Lee, Ahmed Helmy