305 search results - page 33 / 61 » Experiences with Modeling and Verification of Regulations |
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
ISBRA
2009
Springer
14 years 3 months ago
2009
Springer
Identifying gene regulatory networks from high-throughput gene expression data is one of the most important goals of bioinformatics, but it remains difficult to define what makes a...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
AMI
2008
Springer
13 years 10 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
PROCEDIA
2010
13 years 3 months ago
2010
Colorectal cancer is initiated in colonic crypts as a consequence of alterations leading to the disruption of the normal colonic cellular process. We propose a model, which couple...