4245 search results - page 96 / 849 » Integrating Software by Integrating People |
150
click to vote
CBSE
2009
Springer
16 years 26 days ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...
161
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
203
click to vote
AMET
1998
Springer
15 years 10 months ago
1998
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...
152
click to vote
JAMIA
2010
15 years 1 months ago
2010
Informatics for Integrating Biology and the Bedside (i2b2) is one of seven projects sponsored by the NIH Roadmap National Centers for Biomedical Computing (http://www. ncbcs.org)....
157
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...