3799 search results - page 499 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
CODES
1994
IEEE
15 years 10 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
173
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...
162
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Many software architecture evaluation methods, proposed by the research community, have a common problem of engaging the same architects to perform architecture design an...
150
click to vote
TRECVID
2007
15 years 7 months ago
2007
In this paper, we describe our experiments of search task for TRECVID 2007. This year we participated in the automatic video search subtask, and submitted six runs with different ...
175
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...