1134 search results - page 96 / 227 » Using Constraints with Action Language for Model Evolution |
168
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
158
click to vote
HSNMC
2004
Springer
15 years 11 months ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
223
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
153
click to vote
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
15 years 6 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
178
click to vote
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...