3828 search results - page 444 / 766 » Proof-Based System Engineering Using a Virtual System Model |
182
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
189
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
This paper addresses Named Entity Mining (NEM), in which we mine knowledge about named entities such as movies, games, and books from a huge amount of data. NEM is potentially use...
174
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
165
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...
215
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...