11561 search results - page 87 / 2313 » A Language for Biochemical Systems |
138
click to vote
COLING
1992
15 years 7 months ago
1992
Thispaper presentsBlAS (Bahasa Indonesia AnalyzerSystem), ananalysis systemforlndonesian language suitablefor multilingual machine translation system. BIAS is developed with a mot...
160
click to vote
IJAIT
2006
15 years 5 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
168
click to vote
COORDINATION
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
144
click to vote
MODELS
2009
Springer
16 years 11 days ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
160
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...