611 search results - page 47 / 123 » Testing interfaces that do not exist |
101
Voted
ESCIENCE
2005
IEEE
15 years 4 months ago
2005
IEEE
Workflow is an important enabling technology for eScience. Research into workflow systems for eScience has yielded several specialized workflow engines. In this paper we investiga...
ICSOC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Mashups are gaining momentum as a means to develop situational Web applications by combining different resources (services, data feeds) and user interfaces. In enterpris...
ACSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
In today’s applications, most users disregard the security functionality. They do not have the knowledge and/or the motivation to configure or to use the existing security func...
LOPSTR
1998
Springer
15 years 3 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
COMPSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...