Sciweavers

5630 search results - page 266 / 1126
» Computability in Specification
Sort
View
JBI
2002
126views Bioinformatics» more  JBI 2002»
15 years 6 months ago
Characteristic attributes in cancer microarrays
Rapid advances in genome sequencing and gene expression microarray technologies are providing unprecedented opportunities to identify specific genes involved in complex biological...
Indra Neil Sarkar, Paul J. Planet, T. E. Bael, S. ...
RULEML
2010
Springer
15 years 5 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
15 years 4 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
TSD
2010
Springer
15 years 4 months ago
Embedded Speech Recognition in UPnP (DLNA) Environment
In the past decade great technological advances have been made in internet services, personal computers, telecommunications, media and entertainment. Many of these advances have be...
Jozef Ivanecký, Radek Hampl

Book
2911views
17 years 5 months ago
Shape Analysis and Classification: Theory and Practice
"Advances in shape analysis impact a wide range of disciplines, from mathematics and engineering to medicine, archeology, and art. Anyone just entering the field, however, may...
Roberto M. Cesar Jr