1312 search results - page 161 / 263 » Embedded contract languages |
126
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
114
Voted
TSD
2004
Springer
15 years 8 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
117
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
126
Voted
ADAEUROPE
2003
Springer
15 years 8 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
111
click to vote
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...