5843 search results - page 745 / 1169 » Software Security in Practice |
170
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
168
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
191
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
170
click to vote
CSEE
2008
Springer
2008
Springer
Improving Knowledge Acquisition in Capstone Projects Using Learning Spaces for Experiential Learning
15 years 8 months ago
Students have to cope with new technologies, changing environments, and conflicting changes in capstone projects. They often lack practical experience, which might lead to failing...
142
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we present a new FrameNet-based Shallow Semantic Parser. While Shallow Semantic Parsing has been a popular Natural Language Processing task since the 2004 and 2005 C...