9507 search results - page 1478 / 1902 » Time-based language models |
171
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
184
Voted
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
183
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
190
click to vote
IESA
2007
15 years 8 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
192
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...