1099 search results - page 163 / 220 » Using Transformation Systems for Software Maintenance and Re... |
196
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...
118
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
149
click to vote
EFORENSICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
124
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Apollo, a genome annotation viewer and editor, has become a widely used genome annotation and visualization tool for distributed genome annotation projects. When using...
138
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...