3595 search results - page 203 / 719 » Roles of Program Extension |
129
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
112
click to vote
SIGCSE
1998
ACM
15 years 9 months ago
1998
ACM
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
134
Voted
ICSE
1994
IEEE-ACM
15 years 9 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
129
Voted
ISSA
2008
15 years 6 months ago
2008
"The state of information security as a whole is a disaster, a train wreck". This view is given by Forte and Power (2007) describing the state of information security to...
123
Voted
ACE
2003
15 years 6 months ago
2003
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...