10874 search results - page 229 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
201
click to vote
ISAS
2007
Springer
16 years 24 days ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
139
click to vote
ICCNMC
2005
Springer
16 years 4 days ago
2005
Springer
With the development of wireless network, more and more applications require the QoS for message transmission. In order to enhance the QoS service in the dynamic changing wireless ...
187
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
153
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a method for identifying protein names in biomedical texts with an emphasis on detecting protein name boundaries. We use a probabilistic model which exploits s...
195
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...