6800 search results - page 799 / 1360 » Testing with Functions as Specifications |
168
click to vote
EDOC
2002
IEEE
16 years 2 hour ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
197
click to vote
HICSS
2002
IEEE
16 years 22 min ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
213
click to vote
ICPADS
2002
IEEE
15 years 12 months ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
167
click to vote
IOLTS
2002
IEEE
15 years 12 months ago
2002
IEEE
A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. T...
184
click to vote
BICOB
2009
Springer
15 years 11 months ago
2009
Springer
Protein phosphorylation is a crucial regulatory mechanism in various organisms. With recent improvements in mass spectrometry, phosphorylation site data are rapidly accumulating. D...