3809 search results - page 703 / 762 » Associative language descriptions |
103
click to vote
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
ICRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
106
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...